2

Extended static checking for Java

Year:
2002
Language:
english
File:
PDF, 252 KB
english, 2002
3

Polymorphic type assignment and CPS conversion

Year:
1993
Language:
english
File:
PDF, 935 KB
english, 1993
4

Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC

Year:
1999
Language:
english
File:
PDF, 235 KB
english, 1999
7

PLDI 2002

Year:
2013
Language:
english
File:
PDF, 360 KB
english, 2013